Machine Learning Fundamentals: dimensionality reduction
dev.to·1d·
Discuss: DEV
📐Linear Algebra
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Cancellative Convex Semilattices
arxiv.org·1d
🔲Proof Irrelevance
ChatGPT is not AI
newsletter.techworld-with-milan.com·1h
🎙️Whisper
Philips Hue White Ambiance is actually terrible…
wejn.org·2h
🔓Reverse engineering
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·16h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
LLMs Are Bad at Being Forced
morphllm.com·4h·
Discuss: Hacker News
💻Local LLMs
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·12h
🧮Kolmogorov Complexity
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·9h
🔍RegEx Engines
Gradual negation types and the Python type system
jellezijlstra.github.io·9h·
Discuss: Hacker News
🔬Refinement Types
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Training a Chunker with Burn
elijahpotter.dev·19h·
Discuss: Hacker News
📝Concrete Syntax
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
AtCoder Finals Problem Statement
atcoder.jp·22h·
Discuss: Hacker News
🇯🇵Japanese Computing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·1h·
Discuss: DEV
📐Vector Dimensionality
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology